Verified sharp bounds for the real gamma function over the entire floating-point range
نویسندگان
چکیده
منابع مشابه
Verified sharp bounds for the real gamma function over the entire floating-point range
An algorithm is presented for computing verified and accurate bounds for the value of the gamma function over the entire real double precision floating-point range. It means that for every double precision floating-point number x except the poles −k for 0 ≤ k ∈ N the true value of Γ(x) is included within an almost maximally accurate interval with floating-point bounds. The application to interv...
متن کاملSharp Smith’s bounds for the gamma function
Among various approximation formulas for the gamma function, Smith showed that [Formula: see text] which is a little-known but accurate and simple one. In this note, we prove that the function [Formula: see text] is strictly increasing and concave on [Formula: see text], which shows that Smith's approximation is just an upper one.
متن کاملthe algorithm for solving the inverse numerical range problem
برد عددی ماتریس مربعی a را با w(a) نشان داده و به این صورت تعریف می کنیم w(a)={x8ax:x ?s1} ، که در آن s1 گوی واحد است. در سال 2009، راسل کاردن مساله برد عددی معکوس را به این صورت مطرح کرده است : برای نقطه z?w(a)، بردار x?s1 را به گونه ای می یابیم که z=x*ax، در این پایان نامه ، الگوریتمی برای حل مساله برد عددی معکوس ارانه می دهیم.
15 صفحه اولA Verified Certificate Checker for Floating-Point Error Bounds
Being able to soundly estimate roundoff errors in floatingpoint computations is important for many applications in embedded systems and scientific computing. Due to the unintuitive nature of floatingpoint arithmetic, automated static analysis tools are highly valuable for this task. The results, however, are only as correct as the implementations of the static analysis tools. This paper present...
متن کاملSharp Bounds on the PI Spectral Radius
In this paper some upper and lower bounds for the greatest eigenvalues of the PI and vertex PI matrices of a graph G are obtained. Those graphs for which these bounds are best possible are characterized.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nonlinear Theory and Its Applications, IEICE
سال: 2014
ISSN: 2185-4106
DOI: 10.1587/nolta.5.339